Spatial Logic Programming
نویسندگان
چکیده
We show that the mechanism underlying Logic Programming can be extended to handle the situation when the atoms are interpreted as subsets of various spaces. In such situation, the atoms of the underlying language are interpreted as subsets of the corresponding space. The models of the program are interpreted as subsets of that space. It turns out that the operator approach to Logic Programming can be lifted to such situation, and that when the Horn fragment of such logic is considered, the corresponding operators are monotone and reach the fixpoint in at most ω steps. The concepts of supported and stable models of programs can equally be generalized. We show how a classic PERT/CPM optimization problem can be represented in such circumstances.
منابع مشابه
A Fast and Self-Repairing Genetic Programming Designer for Logic Circuits
Usually, important parameters in the design and implementation of combinational logic circuits are the number of gates, transistors, and the levels used in the design of the circuit. In this regard, various evolutionary paradigms with different competency have recently been introduced. However, while being advantageous, evolutionary paradigms also have some limitations including: a) lack of con...
متن کاملLearning Spatial Relationships: Some Approaches
We consider three approaches to learning natural resource models involving spatial relationships, based respectively on decision tree learning, genetic programming and inductive logic programming. In each case, the results of spatial learning on a natural resource problem are compared with the results of non-spatial learning from the same data, and improvements in predictivity or simplicity of ...
متن کاملFire! Firing Inductive Rules from Economic Geography for Fire Risk Detection
Wildfires can importantly affect the ecology and economy of large regions of the world. Effective prevention techniques are fundamental to mitigate their consequences. The design of such preemptive methods requires a deep understanding of the factors that increase the risk of fire, particularly when we can intervene on these factors. This is the case for the maintenance of ecological balances i...
متن کاملCLP(QS): A Declarative Spatial Reasoning Framework
We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We systematically formalize and implement the semantics of a range of qualitative spatial calculi using a system of non-linear polynomial equations in the context of a classical constraint logic programming framework. Whereas CLP(QS...
متن کاملA Logical Framework for Frequent Pattern Discovery in Spatial Data
In recent times, several extensions f data mining methods and techniques have been explored aiming at dealing with advanced databases. Many promising applications of inductive logic programming (ILP) to knowledge discovery in databases have also emerged inorder to benefit from semantics andinference rules of first-order logic. Inthis paper, an ILP framework forfrequent pattern discovery in spat...
متن کاملDeeply Semantic Inductive Spatio-Temporal Learning
We present an inductive spatio-temporal learning framework rooted in inductive logic programming. With an emphasis on visuo-spatial language, logic, and cognition, the framework supports learning with relational spatio-temporal features identifiable in a range of domains involving the processing and interpretation of dynamic visuo-spatial imagery. We present a prototypical system, and an exampl...
متن کامل